$\forall$$T$:Type, $L$:($T$ List), $x$:$T$. ($\neg$($\uparrow$null($L$))) $\Rightarrow$ (last([$x$ / $L$]) = last($L$) $\in$ $T$)